$\forall$${\it the\_es}$:ES, $e$:E. ($\uparrow$isrcv($e$)) $\Rightarrow$ sender($e$) c$\leq$ $e$